No. 004 (2024.10.03)
(Markdown 記法ではないので注意 → 記法 を参照すること) 前回
参加者
mrkn
abap34 yuchi yamaguchi.icon
antimon2
(ここに参加した人が自分の名前 / ID を追記していく)
メモ
_typeinf 関数を読み進める。
typeinf_local 関数を読んでいて、CFG の構造などがよくわからなかったので compute_basic_blocks 関数を読んで命令列から CFG (Control Flow Graph) を作る流れを理解した
CFG は Basic Block のグラフ構造
handle_control_backedge! は effect の処理をしているが、effectt がよくわからないので後で読み直したい
Bottom は C の void 的なやつ (例外で関数を脱出するときの戻り値が Bottom)
Union{} が Core.TypeBottom 型のインスタンスである
Any は root type ですべての型の基本型であるのに対して、Union{} はすべての型の派生型である
typeinf_local の GotoNode の処理まで読んだ
次回